Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
31	What Did We Learn In Scala.Meta? Eugene Burmako ´ Ecole Polytechnique F´ ed´ Add to Reading List Source URL: scalamacros.org Language: English - Date: 2016-08-18 07:56:24 Software engineering Computing Computer programming Functional languages Scala Programming language comparisons Map
32	Some F# Practicalities Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/ Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-04-15 17:47:12 Software engineering Computer programming Computing Functional languages Procedural programming languages Object-oriented programming languages Cross-platform software F Sharp Microsoft Research Eval D
33	Semantic web: from XML to OWL Pierre Genevès CNRS Nabil Layaïda Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-12-08 05:48:48 Computing Data Functional languages Data management Markup languages 4GL XQuery Semantic Web NoSQL
34	Learn OCaml An Online Learning Center for OCaml Benjamin Canou Gr´egoire Henry Add to Reading List Source URL: www.ocamlpro.com Language: English - Date: 2016-08-03 11:18:23 Software engineering Computer programming Computing Functional languages OCaml Caml Massive open online course Comment Readevalprint loop Foreach loop
35	� EMAPS : AN EXTENDABLE, OBJECT-ORIENTED GIS Stephen M. Ervin, Associate Professor Department of Landscape Architecture Harvard University Graduate School of Design Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 22:09:30 Software engineering Computer programming Computing Data types Lisp Functional languages Object-oriented programming languages Geographic information system Object-oriented programming Cons Frame language Cellular automaton
36	A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-06-25 07:48:56 Software Computing Formal methods Logic in computer science Compiler construction Compilers Functional languages CompCert Compiler Xavier Leroy Formal verification Compiler correctness
37	Polishing Structural Bulk Updates in a Native XML Database Master thesis presented by Lukas Kircher Add to Reading List Source URL: files.basex.org Language: English - Date: 2013-10-25 10:44:40 Computing Data Query languages Functional languages XPath XQuery Data management BaseX XML tree XML database Tree traversal B-tree
38	Amoeba Join: Overcoming Structural Fluctuations in XML Data Taro L. Saito Shinichi Morishita Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2007-05-03 17:07:37 Computing Data management Data Query languages B-tree Theoretical computer science Markup languages Functional languages Lowest common ancestor XPath XML tree Amoeba
39	Asynchronous Events in Clojure @stuartsierra Clojure NYC November 17, 2010 Add to Reading List Source URL: stuartsierra.com Language: English - Date: 2010-11-18 08:41:58 Computing Software engineering Computer programming Functional languages Inter-process communication Concurrent programming languages Scripting languages Ericsson Erlang Clojure ZeroMQ Transmission Control Protocol
40	RScheme The Implementation Donovan Kolbly RS Add to Reading List Source URL: www.rscheme.org Language: English - Date: 2014-10-18 11:53:03 Software engineering Computer programming Computing Functional languages Procedural programming languages Cross-platform software Object-oriented programming languages Lisp Readevalprint loop Eval Scheme D